What Happened to Languages for Symbolic Mathematical Computation?
نویسنده
چکیده
While the state of the art is relatively sophisticated in programming language support for computer algebra, there has been less development in programming language support for symbolic computation over the past two decades. We summarize certain advances in programming languages for computer algebra and propose a set of directions and challenges for programming languages for symbolic computation.
منابع مشابه
Symbolic functions from neural computation.
Is thought computation over ideas? Turing, and many cognitive scientists since, have assumed so, and formulated computational systems in which meaningful concepts are encoded by symbols which are the objects of computation. Cognition has been carved into parts, each a function defined over such symbols. This paper reports on a research program aimed at computing these symbolic functions without...
متن کاملAddressed term rewriting systems: application to a typed object calculus
We present a formalism called Addressed Term Rewriting Systems, which can be used to model implementations of theorem proving, symbolic computation, and programming languages, especially aspects of sharing, recursive computations and cyclic data structures. Addressed Term Rewriting Systems are therefore well suited for describing object-based languages, and as an example we present a language c...
متن کاملChapter 1 PROBLEM SOLVING ENVIRONMENTS AND SYMBOLIC COMPUTING Richard
What role should be played by symbolic mathematical computation facilities in scientific and engineering “problem solving environments”? Drawing upon standard facilities such as numerical and graphical libraries, symbolic computation should be useful for: The creation and manipulation of mathematical models; The production of custom optimized numerical software; The solution of delicate classes...
متن کاملAPPLICATION OF EXP-FUNCTION METHOD TO THE (2+1)-DIMENSIONAL CALOGERO BOGOYAVLANSKII SCHIFF EQUATION
In this paper, the Exp-function method, with the aid of a symbolic computation system such as Maple, is applied to the (2+1) -dimensional Calogero Bogoyavlanskii Schiff equation. Exact and explicit generalized solitary solutions are obtained in more general forms. The free parameters can be determined by initial or boundary conditions. The method is straightforward and concise, and its applicat...
متن کاملXML-Based Interoperability Among Symbolic Computation Systems
In this paper, the state of a project to interoperate among some complex symbolic computation systems is presented. We briefly put into context our problem, stressing the difficult points (essentially, the need of exchanging information which encodes infinite data structures) and showing the limitations of the current standard XML-based languages to communicate mathematical knowledge, as MathML.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007